Sequence Semantics for Normative Agents

نویسندگان

  • Guido Governatori
  • Francesco Olivieri
  • Erica Calardo
  • Antonino Rotolo
  • Matteo Cristani
چکیده

We proposed a novel framework for the representation of goals and other mental-like attitudes in terms of degree of expected outcomes, where an outcome is an order of possible alternatives. The sequences of alternatives is modelled by a non-classical (substructural) operator. In this paper we provide a modal logic based axiomatisation of the intuition they propose, and we discuss some variants (in particular for the notion of social intention, intentions that are compliant with norms). Given that the outcome operator is substructural, we first propose a novel sequence semantics (a generalisation of possible world semantics) to model the outcome operator, and we prove that the axiomatisation is sound and complete with respect to the new semantics.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey

One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...

متن کامل

Normative Monitoring: Semantics and Implementation

The concept of Normative Systems can be used in the scope of MultiAgent Systems to provide reliable contexts of interactions between agents where acceptable behaviour is specified in terms of norms. Literature on the topic is growing rapidly, and there is a considerable amount of theoretical frameworks for normative environments, some in the form of Electronic Institutions. Most of these approa...

متن کامل

Normative Programming for Organisation Management Infrastructures

Recent work shows a tendency to use programming languages specific to the social aspects of multi-agent systems, for example in programming norms that agents ought to follow. In this paper, we introduce a simple and elegant normative programming language called NPL and show its operational semantics. We then define a particular class of NPL programs that are suitable for programming Organisatio...

متن کامل

Norm Defeasibility in an Institutional Normative Framework

Normative environments have been proposed to regulate agent interaction in open multi-agent systems. However, most approaches rely on pre-imposed regulations that agents are subject to. Taking a different stance, we focus on a normative framework that assists agents in establishing by themselves their own commitment norms. With that aim in mind, a model of norm defeasibility is presented that e...

متن کامل

A Programming Language for Normative Multi-Agent Systems

Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by an organizational artifact. This chapter presents a programming language that aims at facilitating the implementation of norm-based organizational artifacts. The programming language is presented in two steps. We first present a programming language that is designed to support the implementation o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016